Comparison of Methodologies for the Safety and Dependability Assessment of an Industrial Programmable Logic Controller

نویسندگان

  • Andrea Bobbio
  • Sandro Bologna
  • Ester Ciancamerla
  • Giuliana Franceschinis
  • Rossano Gaeta
  • Michele Minichino
  • Luigi Portinale
چکیده

Computer based systems, which are devoted to control critical functions, may incur in safety and dependability problems. In the safety area a new standard is currently emerging, IEC 61508, which is intended to provide a unified framework which may deserve as guideline for the analysis of safety related systems. The present paper deals with the safety and dependability analysis of a Programmable Logic Controller (PLC) according to the requirements of IEC 61508. In order to gain insight on the system characteristics and on the used methodologies, different probabilistic techniques of increasing modeling power (Fault Tree (FT), Bayesian Networks (BN), Generalized Stochastic and Stochastic Well formed Petri Nets (GSPN and SWN) have been compared.

برای دانلود رایگان متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

An experience of dependability assessment of a typical industrial safety critical Programmable Logic Controller

In this paper, we describe an experience of dependability assessment of a typical industrial Programmable Logic Controller (PLC). The PLC is based on a two out of three voting policy and it is intended to be used for safety functions. Safety assessment of computer based systems performing safety functions is regulated by standards and guidelines. In all of them there is a common agreement that ...

متن کامل

Design and PLC Implementation for Speed Control of DC Motor using Fuzzy Logic

In this article, a speed control of DC motor is designed and illustrated using fuzzy logic-based programmable logic controller (PLC). The DC motor is an attractive part of electrical equipment in many industrial applications requiring variable speed and load specifications due to its ease of controllability. The designed system is consisted of three main parts including programmable logic contr...

متن کامل

Dependability Assessment of an Industrial Programmable Logic Controller via Parametric Fault-Tree and High level Petri Net

The case-study presented in this paper is aimed at assessing the dependability of a Programmable Logic Controller (PLC) devoted to safety functions. This case study has been brought to our attention by a national environmental agency and has been partially abstracted and anonymized to protect proprietary information. The PLC consists of a triplicated channel with a (2 : 3) majority voting logic...

متن کامل

A FUZZY-BASED SPEED CONTROLLER FOR IMPROVEMENT OF INDUCTION MOTOR'S DRIVE PERFORMANCE

Induction motors (IMs) are widely used in many industrial applications due to their robustness, low cost, simplicity and relative good efficiency. One of the major considerations for IMs is their speed control. PI (proportional-integrator) controllers are usually used as speed controller. Adjusting the gain of PI controller is time-consuming which needs thorough considerations. Hence, fuzzy con...

متن کامل

A rule-based evaluation of ladder logic diagram and timed petri nets for programmable logic controllers

This paper describes an evaluation through a case study by measuring a rule-based approach, which proposed for ladder logic diagrams and Petri nets. In the beginning, programmable logic controllers were widely designed by ladder logic diagrams. When complexity and functionality of manufacturing systems increases, developing their software is becoming more difficult. Thus, Petri nets as a high l...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

عنوان ژورنال:

دوره   شماره 

صفحات  -

تاریخ انتشار 2001